- 双语例句 更多例句
1、
从计算语义学角度看俄语形容词的语义分类问题
互联网摘选
2、
由于一阶逻辑能够描述软件构件的计算语义，因此用一阶逻辑表示构件及用基于归结原理的自动定理证明技术检索构件的研究在软件工程领域得到了足够的重视。
互联网摘选
- 相关词组
- high-speed computational capability高速计算能力
- preference semantics优选语义学;
- formal semantics形式语义学[程序];
- general semantics普通语义;
- computational error计算误差;
- reduction semantics[计]归约语义学;
- deterministic semantics[计] 确定性语义学;
- body semantics体态语义学；手势语义学;
- semantics evaluation[计] 语义学评价;
- dynamic semantics[计]动态语义学;
- final semantics最终语义；终结语义
- tree semantics[计]树状语义学;
- credulous semantics[计]易受骗的语义学;
- semantics translator语义学翻译程序;
- computational method[计] 计算方法;
- query semantics[计]查询语义学;
- computational linguistics计算语言学;
- logic semantics[计]逻辑语义学;
- Computational Geometry计算几何;
- interpretative semantics解释语义学
- 今日热词
- 热门搜索
- may modal.(有可能但不肯定)也许，可能;(征求同意或表示允许)可以;（表明目的）可以，能够;(转折前所述情况属实)也许;（表示愿望）但愿n.山楂花;五月（May）
- Scottish adj.苏格兰的，苏格兰式的;
- coach n.教练;辅导教师;长途汽车;（火车）旅客车厢;四轮大马车;经济舱;v.当教练;训练;指导;辅导;给…补习;
- thumb n.拇指;（手套的）拇指部份;vi.翘起拇指请求搭乘（过路汽车），示意请求搭便车;翻阅;
- todesk todesk远程控制软件
- the one you love 你的爱人；你的至爱;
- isle of man 马恩岛;位于英国西北海岸的爱尔兰海域;是英国属地;英联邦半自治区;[地名] [英国] 马恩岛;
- frog n.青蛙;〈侮辱〉青蛙佬，对法国人的蔑称;[交]铁路辙叉;饰扣，挂环;
- fictions n.小说( fiction的名词复数 );虚构的或想像出的事，并非完全真实的事;
- read vt.& vi. 阅读，朗读;显示;研究;看得懂;vt. 显示;阅读;读懂，理解;
- old man n.非正式用语;有些人称它们的父亲、丈夫或男性朋友为“老头儿”;老爸;丈夫 （非正式用语）;
- liquid n.液体;adj.液体的;易变为现金的;清澈的;清脆的;
